Why Computational Complexity Requires Stricter Martingales
نویسندگان
چکیده
منابع مشابه
Why Philosophers Should Care About Computational Complexity
One might think that, once we know something is computable, how efficiently it can be computed is a practical question with little further philosophical importance. In this essay, I offer a detailed case that one would be wrong. In particular, I argue that computational complexity theory—the field that studies the resources (such as time, space, and randomness) needed to solve computational pro...
متن کاملOn the Computational Complexity of the Domination Game
The domination game is played on an arbitrary graph $G$ by two players, Dominator and Staller. It is known that verifying whether the game domination number of a graph is bounded by a given integer $k$ is PSPACE-complete. On the other hand, it is showed in this paper that the problem can be solved for a graph $G$ in $mathcal O(Delta(G)cdot |V(G)|^k)$ time. In the special case when $k=3$ and the...
متن کاملComputational Complexity
Complex systems (CS) involve many elements that interact at different scales in time and space. The challenges in modeling CS led to the development of novel computational tools with applications in a wide range of scientific areas. The computational problems posed by CS exhibit intrinsic difficulties that are a major concern in Computational Complexity Theory. This Special Issue (SI) focused o...
متن کاملComputational Complexity
Computational Complexity a k a Complexity Theory is a central eld of Com puter Science with a remarkable list of celebrated achievements as well as a very vibrant research activity The eld is concerned with the study of the intrinsic complexity of computational tasks and this study tend to aim at generality It focuses on natural computational resources and considers the e ect of limiting these ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory of Computing Systems
سال: 2005
ISSN: 1432-4350,1433-0490
DOI: 10.1007/s00224-005-1135-4